1. Abstract computing machines :
Author: / W. Kluge
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory,Lambda calculus
Classification :
E-BOOK
2. Abstract computing machines ; a lambda calculus perspective
Author: / W. Kluge
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory,Lambda calculus
Classification :
QA
278
.
K6
2005
3. An introduction to combinators and )Lambda(-calculus
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
4. An introduction to functional programming through Lambda calculus /
Author: Greg Michaelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
Classification :
QA76
.
6
.
M4854
2011eb
5. Categories for types
Author: Crole, Roy L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Categories )Mathematics(,، Lambda, Calculus
Classification :
QA
169
.
C685
1993
6. Categories for types
Author: Crole, Roy L
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Categories )Mathematics(,، Lambda calculus
Classification :
QA
169
.
C685
1993
7. Derivation and computation: taking the Curry-Howard correspondence seriously
Author: Simmons, Harold
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
Classification :
QA
9
.
54
.
S55
2000
8. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
9. Lambda-calcul : types et modeles
Author: Krivine, Jean Louis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus
Classification :
QA
9
.
5
.
K74L2
10. Lambda-calculus and combinators : an introduction
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
11. Lambda-calculus and combinators, an introduction
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
12. Lambda-calculus, combinators, and functional programming
Author: Revesz, Gyorgy E.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988
13. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Language in action : categories, lambdas, and dynamic logic
Author: Benthem, Johan F. A. K. van, 9491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
Classification :
P
39
.
B46
15. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Logic Colloquium '82 :
Author: edited by G. Lolli, G. Longo, and A. Marcja
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
Classification :
QA9
.
7
.
L64
1982
17. Pattern calculus : computing with functions and structures
Author: Jay, Barry
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Data structures )Computer science(,، Functional programming )Computer science(,، Lambda calculus
Classification :
QA
76
.
9
.
D35J32
18. Processes, terms and cycles
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
19. Processes, terms and cycles
Author: / Aart Middeldorp ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Lambda calculus.,Rewriting systems (Computer science),Machine theory.
Classification :
QA
,
9
.
5
,.
P76
,
2005
